#include "types.hpp"

namespace system {
    extern "C"{
        void gdt_flush();
    }
}
